高木 翼 - Robert Goldblatt, Logics of Time and Computation, 2nd Ed.の書評
https://tarb.yamanami.tokyo/2024/04/0062-robert-goldblatt-logics-of-time-and-computation.html
#書評
#高木翼
Robert Goldblatt, Logics of Time and Computation, 2nd Ed.